TSTP Solution File: PUZ146^1 by SInE---0.4